#include <stdint.h>

// exp_data_64[i]= (2^(i/128)-1.0)*2^64
uint64_t exp_data_64[128]=
{
  0x0000000000000000,  0x0163da9fb33356d8,
  0x02c9a3e778060ee7,  0x04315e86e7f84bd7,
  0x059b0d31585743ae,  0x0706b29ddf6ddc6e,
  0x0874518759bc808c,  0x09e3ecac6f383452,
  0x0b5586cf9890f62a,  0x0cc922b7247f7408,
  0x0e3ec32d3d1a2020,  0x0fb66affed31af23,
  0x11301d0125b50a4f,  0x12abdc06c31cbfb9,
  0x1429aaea92ddfb34,  0x15a98c8a58e51248,
  0x172b83c7d517adce,  0x18af9388c8de9bbc,
  0x1a35beb6fcb753cb,  0x1bbe084045cd39ab,
  0x1d4873168b9aa780,  0x1ed5022fcd91cb88,
  0x2063b88628cd63b9,  0x21f49917ddc96255,
  0x2387a6e75623866c,  0x251ce4fb2a63f358,
  0x26b4565e27cdd258,  0x284dfe1f5638096d,
  0x29e9df51fdee12c2,  0x2b87fd0dad98ffde,
  0x2d285a6e4030b401,  0x2ecafa93e2f5611d,
  0x306fe0a31b7152df,  0x32170fc4cd831354,
  0x33c08b26416ff4ca,  0x356c55f929ff0c94,
  0x371a7373aa9caa71,  0x38cae6d05d86585b,
  0x3a7db34e59ff6ea2,  0x3c32dc313a8e4840,
  0x3dea64c12342235b,  0x3fa4504ac801ba0c,
  0x4160a21f72e29f84,  0x431f5d950a896dc7,
  0x44e086061892d031,  0x46a41ed1d0057725,
  0x486a2b5c13cd013c,  0x4a32af0d7d3de673,
  0x4bfdad5362a271d4,  0x4dcb299fddd0d63b,
  0x4f9b2769d2ca6ad3,  0x516daa2cf6641c11,
  0x5342b569d4f81df1,  0x551a4ca5d920ec53,
  0x56f4736b527da66f,  0x58d12d497c7fd253,
  0x5ab07dd48542958d,  0x5c9268a5946b701c,
  0x5e76f15ad21486ea,  0x605e1b976dc08b07,
  0x6247eb03a5584b1f,  0x6434634ccc31fc77,
  0x6623882552224912,  0x68155d44ca973082,
  0x6a09e667f3bcc909,  0x6c012750bdabeed7,
  0x6dfb23c651a2ef22,  0x6ff7df9519483cf8,
  0x71f75e8ec5f73dd2,  0x73f9a48a58173bd6,
  0x75feb564267c8bf7,  0x780694fde5d3f61a,
  0x7a11473eb0186d7d,  0x7c1ed0130c1327c5,
  0x7e2f336cf4e62106,  0x80427543e1a11b61,
  0x82589994cce128ad,  0x8471a4623c7acce5,
  0x868d99b4492ec80e,  0x88ac7d98a6699665,
  0x8ace5422aa0db5ba,  0x8cf3216b5448bef3,
  0x8f1ae991577362ba,  0x9145b0b91ffc588a,
  0x93737b0cdc5e4f45,  0x95a44cbc8520ee9b,
  0x97d829fde4e4f8ba,  0x9a0f170ca07b9ba3,
  0x9c49182a3f0901c8,  0x9e86319e32323182,
  0xa0c667b5de564b2a,  0xa309bec4a2d3358c,
  0xa5503b23e255c8b4,  0xa799e1330b3586f3,
  0xa9e6b5579fdbf43f,  0xac36bbfd3f379c0e,
  0xae89f995ad3ad5e8,  0xb0e07298db665908,
  0xb33a2b84f15faf6c,  0xb59728de559398e4,
  0xb7f76f2fb5e46eaa,  0xba5b030a10649841,
  0xbcc1e904bc1d2248,  0xbf2c25bd71e08841,
  0xc199bdd85529c222,  0xc40ab5fffd07a6d1,
  0xc67f12e57d14b4a2,  0xc8f6d9406e7b511b,
  0xcb720dcef9069150,  0xcdf0b555dc3f9c45,
  0xd072d4a07897b8d1,  0xd2f87080d89f18ae,
  0xd5818dcfba48725e,  0xd80e316c98397bb8,
  0xda9e603db3285709,  0xdd321f301b4604b7,
  0xdfc97337b9b5eb97,  0xe264614f5a128a12,
  0xe502ee78b3ff6274,  0xe7a51fbc74c834b5,
  0xea4afa2a490d9859,  0xecf482d8e67f08db,
  0xefa1bee615a27772,  0xf252b376bba974e8,
  0xf50765b6e4540675,  0xf7bfdad9cbe13891,
  0xfa7c1819e90d82e9,  0xfd3c22b8f71f1097
};
